\\
x \\
\\ x
x \\ y
\\ | x \\ | \\ y | x \\ y
x +
\\ +
\\ + \\
\\ *
\\ * \\
\\ ?
(x *)